#include <iostream>
#include <fstream>
using namespace std;
int main()
{
    char automobile[50];
    int year;
    double a_price;
    double d_price;

    ofstream outfile;
    outfile.open("carinfo.txt");
    cin.getline(automobile, 50);
    cin>>year;
    cin>>a_price;
    d_price=0.913*a_price;

    cout<<fixed;
    cout.precision(2);
    cout.setf(ios_base::showpoint);
    cout<<"automobile:"<<automobile<<endl;
    cout<<"Year:"<<year<<endl;
    cout<<"was asking: "<<a_price<<endl;
    cout<<"now asking: "<<d_price<<endl;

    outfile<<fixed;
    outfile.precision(2);
    outfile.setf(ios_base::showpoint);
    outfile<<"automobile:"<<automobile<<endl;
    outfile<<"Year:"<<year<<endl;
    outfile<<"was asking: "<<a_price<<endl;
    outfile<<"now asking: "<<d_price<<endl;

    outfile.close();
    return 0; 
}